The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Mattias Ulbrich Books

Results for Mattias Ulbrich

Showing 1 to 1 of 1 results
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY: 12345 (Lecture Notes in Computer Science, 12345) Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY: 12345 (Lecture Notes in Computer Science, 12345) by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY: 12345 (Lecture Notes in Computer Science, 12345)

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich


ISBN 13: 9783030643539

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Dec 2020

Save for later

 
New : $57.73  
New : $57.73